Push-2-f is pspace-complete
نویسندگان
چکیده
We prove PSPACE-completeness of a class of pushingblock puzzles similar to the classic Sokoban, extending several previous results [1, 5, 12]. The puzzles consist of unit square blocks on an integer lattice; some of the blocks are movable. The robot may move horizontally and vertically in order to reach a specified goal position. The puzzle variants differ in the number of blocks that the robot can push at once, ranging from just one (Push-1-F) up to arbitrarily many (Push-*-F). We prove that Push-k-F and Push-*-F are PSPACEcomplete for k ≥ 2 using a reduction from Nondeterministic Constraint Logic (NCL) [8].
منابع مشابه
Motion planning with pull moves
Sokoban is a game on an integer grid, where a warehouse keeper, or robot, has to push boxes to designated storage locations. He can push a box one cell horizontally or vertically if the destination cell is free. Some of the grid cells can be occupied by unmovable obstacles. Several variants of Sokoban have been studied. In these variants all obstacles may be movable, the keeper may push up to k...
متن کاملPushPush-k is PSPACE-Complete
We prove that a pushing-block puzzle called PUSHPUSH-k is PSPACE-complete for any fixed k ≥ 1. In this puzzle, a robot moves on a finite grid. Each grid position is either empty or occupied by a single obstacle block. While moving, the robot may push obstacle blocks in direction of its movement, subject to certain constraints. In particular, once an obstacle block starts moving, it continues to...
متن کاملPush-Pull Block Puzzles are Hard
This paper proves that push-pull block puzzles in 3D are PSPACE-complete to solve, and push-pull block puzzles in 2D with thin walls are NP-hard to solve, settling an open question [ZR11]. Pushpull block puzzles are a type of recreational motion planning problem, similar to Sokoban, that involve moving a ‘robot’ on a square grid with 1 × 1 obstacles. The obstacles cannot be traversed by the rob...
متن کاملComputational Complexity of Generalized Push Fight
We analyze the computational complexity of optimally playing the two-player board game Push Fight, generalized to an arbitrary board and number of pieces. We prove that the game is PSPACE-hard to decide who will win from a given position, even for simple (almost rectangular) hole-free boards. We also analyze the mate-in-1 problem: can the player win in a single turn? One turn in Push Fight cons...
متن کاملSolving a PSPACE-Complete Problem by Recognizing P Systems with Restricted Active Membranes
P systems are parallel molecular computing models based on processing multisets of objects in cell-like membrane structures. Recently, Petr Sosı́k has shown that a semi-uniform family of P systems with active membranes and 2-division is able to solve the PSPACE-complete problem QBF-SAT in linear time; he has also conjectured that the membrane dissolving rules of the (d) type may be omitted, but ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002